Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
“Why probability probably doesn’t exist (but it is useful to act like it does)”
statmodeling.stat.columbia.edu·10h
🔲Cellular Automata
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
Discuss: Lobsters, Hacker News
💎Information Crystallography
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
haskell/mtl
github.com·22h
🔗Functional Compilers
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·7h
💻Local LLMs
Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries
arxiv.org·19h
🧠Query Planners
Facebook Research releases MapAnything, 3D reconstruction from images
github.com·13h·
Discuss: Hacker News
🏺Computational Archaeology
Ronald Jensen (Apr 01, 1936 – Sept 16, 2025)
ests.wordpress.com·13h
λLambda Formalization
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
2025-09-17: Classic Machine Learning Models and XAI Methods
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
🧠Machine Learning
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·15h·
Discuss: DEV
🧮Constraint SMT
Linkage
11011110.github.io·3d
📐Linear Algebra
A Tandem of GPT-5 And [Mystery Model] Has Beaten the Best Human Coders
thealgorithmicbridge.com·7h
🔲Cellular Automata
Accuracy Paradox in Large Language Models: Regulating Hallucination Risks in Generative AI
arxiv.org·19h
💻Local LLMs